исчисление равенств

См. также в других словарях:

• ВАРИАЦИОННОЕ ИСЧИСЛЕНИЕ — раздел мате .матики, посвященный исследованию методов отыскания экстремумов функционалов, зависящих от выбора одной или нескольких функций при разного рода ограничениях (фазовых, дифференциальных, интегральных И т. п.), накладываемых на эти… …   Математическая энциклопедия

• Вариационное исчисление — История происхождения В. исчисления следующая: в конце XVII и начале XVIII ст. многие знаменитые геометры, как, напр., Ньютон, Иоанн и Яков Бернулли, Лейбниц, Маклорен и др., обратили внимание на особый род математических вопросов, в которых… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

• КОНСТРУКТИВНАЯ СЕМАНТИКА — совокупность способов понимания суждений в конструктивной математике. Необходимость в особой семантике вызвана различием общих принципов, лежащих в основе традиционной (классической) и конструктивной математики (далее последний термин будет в… …   Математическая энциклопедия

• ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… …   Философская энциклопедия

• ПОРЕЦКИЙ —         Платон Сергеевич [3(15).10.1846, Елиза ветград, ныне Кировоград, 9(22).8.1907, с. Жоведь, ныне Черниговской обл.], рус. логик, астроном и математик. Впервые в России начал читать курс лекций по математич. логике. По своим филос. взглядам… …   Философская энциклопедия

• АНТИЛОГИЗМ — (от греч. ἀντι – приставка, означающая противоположность, и λογισμός – разум, рассуждение) – формула логики, выражающая несовместимость посылок категорич. силлогизма с отрицанием его заключения. А. основан на свойстве логического следования,… …   Философская энциклопедия

• алгебра логики —         АЛГЕБРА ЛОГИКИ исторически первая форма математической (символической) логики, сложившаяся к последней трети 19 в. К ее созданию привела аналогия между решением алгебраических уравнений и выводом следствий из посылок, а также то, что… …   Энциклопедия эпистемологии и философии науки

• Логика — (греч. logike̅́)         наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л …   Большая советская энциклопедия

• Алгебра —          Общие сведения          Алгебра один из больших разделов математики (См. Математика), принадлежащий наряду с арифметикой (См. Арифметика) и геометрией (См. Геометрия) к числу старейших ветвей этой науки. Задачи, а также методы А.,… …   Большая советская энциклопедия

• Порецкий Платон Сергеевич — [3(15).10.1846, Елизаветград, ныне Кировоград, ‒ 9(22).8.1907, село Жоведь, ныне Черниговской области], русский математик, астроном, логик. В 1870 окончил физико математический факультет Харьковского университета. В 1876‒89 работал в Казанском… …   Большая советская энциклопедия

• Порецкий —         Платон Сергеевич [3(15).10.1846, Елизаветград, ныне Кировоград, 9(22).8.1907, село Жоведь, ныне Черниговской области], русский математик, астроном, логик. В 1870 окончил физико математический факультет Харьковского университета. В 1876 89 …   Большая советская энциклопедия